Aspect-oriented model-based testing = Aspekt-orienteeritud mudeli-põhine testimineSarna, Külli2018 https://digi.lib.ttu.ee/i/?11065

Compact smart home systems : design and verification of cost effective hardware solutionsKuusik, Alar2001 http://www.ester.ee/record=b1622134*est

Compact smart home systems : design and verification of cost effective hardware solutionsKuusik, Alar2001 http://www.ester.ee/record=b1578112*est

Model based framework for distributed control and testing of cyber-physical systems = Mudelipõhine raamistik küber-füüsikaliste süsteemide hajusjuhtimiseks ja -testimiseksAnier, Aivo2016 http://digi.lib.ttu.ee/i/?6133

Model-based testing framework for autonomous multi-robot systems = Mudelipõhine testimisraamistik autonoomsetele multirobotsüsteemideleKanter, Gert2020 https://digikogu.taltech.ee/et/Item/575133f2-f94a-49d4-a7c9-0615b54ae139 https://doi.org/10.23658/taltech.19/2020

Model-based testing of reactive systems = Reaktiivsete süsteemide mudelipõhine testimineKull, Andres2009 https://www.ester.ee/record=b2539853*est

Model-based testing of real-time distributed systems = Reaalaja hajussüsteemide mudelipõhine testiminePal, Deepak2020 https://www.ester.ee/record=b5389209*est https://digikogu.taltech.ee/et/Item/b919afec-e786-4e14-9918-7d8db3b20cfe

Scenario oriented model-based testing = Stsenaariumjuhitud mudelipõhine testimineHalling, Evelin2019 https://digi.lib.ttu.ee/i/?11943

A symbolic approach to model-based online testing = Mudelipõhine online-testimine kasutades sümbolarvutustKääramees, Marko2012 http://www.ester.ee/record=b2890159*est

Two state space reduction techniques for explicit state model checking = Kaks olekuruumi kahandamise tehnikat olekute otseesitusega mudelikontrollisErnits, Juhan-Peep2007 https://digi.lib.ttu.ee/i/?162